Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

equational implication

Толкование Перевод

1 equational implication

мат. квазитождество, условное тождество

Большой англо-русский и русско-английский словарь > equational implication
2 equational implication

Математика: квазитождество, условное тождество

Универсальный англо-русский словарь > equational implication
3 equational implication

мат.

квазитождество, условное тождество

English-Russian scientific dictionary > equational implication
4 equational

эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - equational implication - equational logic - equational system - equational theor - equational undefinability

Большой англо-русский и русско-английский словарь > equational
5 implication

1) вовлечение; включение

2) логика импликация

3) следствие; вывод

4) смысл; значение

•

- alternating implication

- backward implication

- biconditional implication

- causal implication

- converse implication

- direct implication

- double implication

- entailment implication

- equational implication

- formal implication

- general implication

- implication of events

- implication of facts

- intuitionistic implication

- inverse implication

- logical implication

- material implication

- propositional implication

- rigorous implication

- semantic implication

- strict implication

- universal implication

- weak implication

- weakened implication

English-Russian scientific dictionary > implication
6 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic

См. также в других словарях:

Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Residuated lattice — In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x le; y and a monoid x • y which admits operations x z and z / y loosely analogous to division or implication when x • y is viewed as… … Wikipedia
Action algebra — In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

equational implication

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

equational implication

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: